1. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
2. Constructive Methods in Computing Science: International Summer School directed by F. L. Bauer...[et al.]&
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Congresses
رده :
QA
،
75
.
5
،.
N383
،
1988
3. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
4. Control Flow and Data Flow:
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
5. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
6. Control flow and data flow: concepts of distributed programming: international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Distributed processing Congresses ، Electronic data processing,programming- Congresses ، Electronic digital Computer
رده :
QA
76
.
9
.
D5
.
N375
1984a
7. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses. ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
8. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
9. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
10. Engineering theories of software construction
پدیدآورنده : / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
موضوع : طراح‍ی س‍ی‍س‍ت‍م,ن‍رم اف‍زار -- مهندسی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
12. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
13. Logic of programming and calculi of discrete design
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
14. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
15. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
16. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
17. Perspectives on the Future of Software Engineering :
پدیدآورنده : edited by Jürgen Münch, Klaus Schmid.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information Systems.,Software engineering.
رده :
QA76
.
9
.
M3
E358
2013
18. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
19. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2001
20. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
